// I WISH I COULD DELETE THIS FILE!!!
// (replaced by "Compiler.java", and the fact that all files are in "package opia")